321. Professional functional programming in C# :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : C# (Computer program language),Functional programming (Computer science)

رده :
QA76
.
73
.
C154
S78
2011

322. Programming Clojure /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Clojure (Computer program language),Functional programming (Computer science),Clojure (Computer program language),COMPUTERS-- Programming Languages-- General.,Functional programming (Computer science)

رده :
QA76
.
73
.
C565

323. Programming Clojure

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Java virtual machine. ; Java (Computer program language) ; Functional programming (Computer science) ; Clojure (Computer program language) ;

324. Programming F# 3.0

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : F♯ (Computer program language),Functional programming (Computer science)

رده :
QA76
.
73
.
F16
S45
2012

325. Programming F# 3.0

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : F♯ (Computer program language),Functional programming (Computer science)

رده :
QA76
.
73
.
F16
S45
2012

326. Programming Paradigms in Graphics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer graphics.,Computer science.

رده :
T385
.
E358
1995

327. Programming and Mathematical Method :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

رده :
QA76
.
6
E358
1992

328. Programming from specifications

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

329. Programming languages :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Congresses

رده :
QA76
.
7
.
B73
2013

330. Programming languages and systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses

رده :
QA76
.
7
.
A65
2011

331. Programming languages and systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.

رده :
QA76
.
7

332. Programming with higher-order logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic programming.,Prolog (Computer program language)

رده :
QA76
.
63
.
M554
2012

333. Provable security :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.

رده :
QA76
.
9
.
A25

334. React in action /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional programming (Computer science),JavaScript (Computer program language),User interfaces (Computer systems),Web applications-- Development.,Web site development.,Functional programming (Computer science),JavaScript (Computer program language),User interfaces (Computer systems),Web site development.

رده :
QA76
.
9
.
U83

335. Real-time 3D Character Animation with Visual C++

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : C and & (Computer program language),C++,C++ (Computer program language),Computer animation.,Computer games-- Programming.,Computer graphics.,Visual programming (Computer science),Visual programming.,C++ (Langage de programmation),Infographie.,Jeux d'ordinateur-- Programmation.,Programmation visuelle.,C++ (Computer program language),Computer animation.,Computer games-- Programming.,Computer graphics.,Visual programming (Computer science)

336. Refinement calculus :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)

رده :
QA76
.
6
R357
1998

337. Reinforcement learning for optimal feedback control :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Feedback control systems.,Reinforcement learning.,Automatic control engineering.,Calculus of variations.,Communications engineering-- telecommunications.,COMPUTERS-- General.,Cybernetics & systems theory.,Feedback control systems.,Reinforcement learning.

رده :
Q325
.
6

338. Research directions in parallel functional programming /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Functional programming (Computer science)-- Research,Parallel programming (Computer science)-- Research

رده :
QA76
.
642
.
R48
1999

339. Research topics in functional programming

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Functional programming )Computer science(

340. Reversible computation :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.

رده :
QA76
.
9
.
L63
R634
2013